#include <linux/cpu.h>
#include <linux/notifier.h>
#include <asm/dom_fw_dom0.h>
+ #include <asm-generic/sections.h>
-typedef asmlinkage NORET_TYPE void (*relocate_new_kernel_t)(
- unsigned long indirection_page,
- unsigned long start_address,
- struct ia64_boot_param *boot_param,
- unsigned long pal_addr,
- unsigned long cpu_data_pa,
- unsigned long kernel_start,
- unsigned long page_offset,
- unsigned long vhpt)
- ATTRIB_NORET;
-
#define kexec_flush_icache_page(page) \
do { \
unsigned long page_addr = (unsigned long)page_address(page); \